Concurrency Control Protocol for Broadcast-based Transaction Processing and Correctness Proof
نویسندگان
چکیده
Observing that it is impractical to use traditional methods to control concurrency for transaction processing in broadcast-based asymmetric communication environment, this paper introduces a concurrency control protocol designed for broadcast-based transaction processing called STUBcast (Server Timestamp and Update Broadcast Supported Concurrency). It then focuses on the correctness proof of STUBcast on supporting two new proposed correctness criteria, Single Serializability and Local Serializability, which are weaker than global serializability but are practical in broadcast environment.
منابع مشابه
STUBcast - efficient support for concurrency control in broadcast-based asymmetric communication environment
Observing that it is impractical to use traditional methods to control concurrency in broadcast-based asymmetric communication environment, we introduce a concurrency control protocol designed for broadcast-based transaction processing called STUBcast (Server Timestamp and Update Broadcast Supported Concurrency). STUBcast supports two new correctness criteria proposed in this paper Single Seria...
متن کاملMaintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments
The broadcast-based data dissemination in wireless environments poses new challenging issues on data consistency of transaction processing. In this paper, we first adapt the optimistic concurrency control with forward validation to the broadcast environments. The adapted protocol gives autonomy between the mobile clients and the server such that the mobile clients can read consistent data off t...
متن کاملOn Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments
Conventional concurrency control protocols are inapplicable in mobile broadcast environments due to a number of constraints of wireless communications. Previous studies are focused on efficient processing of read-only transactions at the mobile clients, neglecting update transactions. In this paper, we design a new protocol for processing both read-only and update mobile transactions. The proto...
متن کاملAlternative Correctness Criteria for Multiversion Concurrency Control and a Locking Protocol via Freezing
Concurrency control protocols based on multiversions have been used in some commercial transaction processing systems in order to provide the serializable executions of transactions. In the existing protocols, transactions are allowed to read only the most recent version of each data item in order to ensure the correct execution of transactions. However, this feature is not desirable in some ad...
متن کاملA Proof of Correctness for Rococo
This paper presents a proof of correctness for Rococo, a new concurrency control protocol for distributed transactions. Rococo can achieve strict serializability without the cost of blocking or aborting. It executes a transaction as a collection of atomic pieces, each of which commonly involves only a single server. Servers first track dependencies between concurrent transactions without actual...
متن کامل